Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic
نویسندگان
چکیده
منابع مشابه
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Safe control of dynamical systems that satisfy temporal invariants expressing various safety properties is a challenging problem that has drawn the attention of many researchers. However, making the assumption that such temporal properties are deterministic is far from the reality. For example, a robotic system might employ a camera sensor and a machine learned system to identify obstacles. Con...
متن کاملChance-Constrained Strong Controllability of Temporal Plan Networks with Uncertainty
This works presents a novel approach for determining chance-constrained strong controllability of Temporal Plan Networks with Uncertainty (TPNU) by framing it as an Optimal Satisfiability Problem (OpSAT).
متن کاملChance Constrained Batch Distillation Process Optimization under Uncertainty
Uncertainties may have a large impact on equipment decisions, plant operability, and economic analysis. Thus the consideration of uncertainties in optimization approaches is necessary for robust process design and operation. As a part of it, efficient chance constrained programming has become an important field of research in process systems engineering. In this work, a new approach is proposed...
متن کاملSupply Chain Planning under Uncertainty: A Chance Constrained Programming Approach
Uncertainty issues associated with a multi-site, multi-product supply chain planning problem has been analyzed in this paper using the chance constraint programming approach. In literature, such problems have been addressed using the two stage stochastic programming approach. While this approach has merits in terms of decomposition, computational complexity even for small size planning problem ...
متن کاملChance constrained programming approach to process optimization under uncertainty
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging task for the academic research currently is to address large-scale, complex optimization problems under various uncertainties. Therefore, investigations on the development of stochastic optimization approaches are necessi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2017
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-017-9413-9